Model Companions of Theories with An Automorphism
نویسنده
چکیده
For a theory T in L, T is the theory of the models of T with an automorphism. If T is an unstable model complete theory without the independence property, then T has no model companion. If T is an unstable model complete theory and T has the amalgamation property, then T has no model companion. If T is model complete and has the fcp, then T has no model completion.
منابع مشابه
Many Generic Automorphisms
Given a theory T , one may add a new unary function symbol σ to the language and add axioms to T asserting that σ is an automorphism. The model theory of generic automorphisms is the study of the model companion of the resulting theory Tσ . In this paper, we study theories equipped with more than one generic automorphism by exploring when model companions exist for such theories. In particular,...
متن کاملModel Companions of TAut for Stable T
Let T be a complete first order theory in a countable relational language L. We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol σ to obtain the language Lσ; TAut is obtained by adding axioms asserting that σ is an L-automorphism. The modern study of the model companion of theories with an automorphism has two aspects. On...
متن کاملNILPOTENCY AND SOLUBILITY OF GROUPS RELATIVE TO AN AUTOMORPHISM
In this paper we introduce the concept of α-commutator which its definition is based on generalized conjugate classes. With this notion, α-nilpotent groups, α-solvable groups, nilpotency and solvability of groups related to the automorphism are defined. N(G) and S(G) are the set of all nilpotency classes and the set of all solvability classes for the group G with respect to different automorphi...
متن کاملOF MATHEMATICAL COMBINATORICS EDITED BY THE MADIS OF CHINESE ACADEMY OF SCIENCES July , 2010
In this study, New identities of Buchsteiner loops were obtained via the principal isotopes. It was also shown that the middle inner mapping T v is a crypto-automorphism with companions v and v. Our results which are new in a way, complement and extend existing results in literatures.
متن کاملAutomorphism Group of a Possible 2-(121, 16, 2) Symmetric Design
Let D be a symmetric 2-(121, 16, 2) design with the automorphism group of Aut(D). In this paper the order of automorphism of prime order of Aut(D) is studied, and some results are obtained about the number of fixed points of these automorphisms. Also we will show that |Aut(D)|=2p 3q 5r 7s 11t 13u, where p, q, r, s, t and u are non-negative integers such that r, s, t, u ? 1. In addition we prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 65 شماره
صفحات -
تاریخ انتشار 2000